This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence for High-Level Parallel Languages". The artifact is a virtual machine image with all of the software and dependencies pre-installed
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This ZIP file contains the artifact for the artifact evaluation of VMCAI 2020. It's purpose is to p...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
Artifact for paper "Type-Directed Program Synthesis for RESTful APIs". This artifact includes a ...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This ZIP file contains the artifact for the artifact evaluation of VMCAI 2020. It's purpose is to p...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
Artifact for paper "Type-Directed Program Synthesis for RESTful APIs". This artifact includes a ...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...